Understanding Program Slices

Program slicing is a useful analysis for aiding different software engineering activities. In the past decades, various notions of program slices have been evolved as well as a number of methods to compute them. By now program slicing has numerous applications in software maintenance, program comprehension, reverse engineering, program integration, and software testing. Usability of program slicing for real world programs depends on many factors such as precision, speed, and scalability, which have already been addressed in the literature. However, only a little attention has been brought to the practical demand: when the slices are large or difficult to understand, which often occur in the case of larger programs, how to give an explanation for the user why a particular element has been included in the resulting slice. This paper describes a reasoning method about elements of static program slices

Integrating Web Services into Agentcities

This document describes how to make Web Services available to agents in an Agentcities environment and how to make agent-based services available to Web Service servers in a Web Services environment

A Gellért-hegyi sikló mérnökgeológiája

A Gellért-hegyre tervezett sikló és a mellette kialakítandó garázs mérnökgeológiai és hidrogeológiai viszonyait mutatja be a cikk. A terület földtani viszonyainak megismerésére 10 magfúrás, kutató aknák készültek. A sikló nyomvonal budai márgában fut, a kőzet felső zónája sárga agyagos, majd ez alatt szürke cementált mészmárga rétegek találhatók. Az eocén márga alatt fúrással feltártuk a hegy fő tömegét alkotó triász dolomitot, amelyben karsztos üregeket mutattak ki a vizsgálatok. A márga dőlése változó a fúrások alapján átlagosan 10-15°-os, de helyenként 30-40°-os meredek dőlésű rétegeket is találtunk. Tektonizáltságára jellemző, hogy réteg menti vetők, csúszólapok tagolhatják, de meredek, 60-75°-os kalcittal részben kitöltött repedéseket is találtunk. A márga felső zónája gyenge (RMR IV. oszt), mélyben fekvő cementált zónája jó (RMR II. oszt) paraméterekkel rendelkező kőzettestnek tekinthető. A 2 éves adatsorok és a vízszint mérések alapján meghatároztuk a maximális várható vízállást

ENTICE VM Image Analysis and Optimised Fragmentation

Virtual machine (VM) images (VMIs) often share common parts of significant size as they are stored individually. Using existing de-duplication techniques for such images are non-trivial, impose serious technical challenges, and requires direct access to clouds' proprietary image storages, which is not always feasible. We propose an alternative approach to split images into shared parts, called fragments, which are stored only once. Our solution requires a reasonably small set of base images available in the cloud, and additionally only the increments will be stored without the contents of base images, providing significant storage space savings. Composite images consisting of a base image and one or more fragments are assembled on-demand at VM deployment. Our technique can be used in conjunction with practically any popular cloud solution, and the storage of fragments is independent of the proprietary image storage of the cloud provider